Optimizing the Post Sandvik Nanoflex material model using inverse optimization and the finite element method

This article describes an inverse optimization method for the Sandvik Nanoflex steel in cold forming\ud processes. The optimization revolves around measured samples and calculations using the Finite Element\ud Method. Sandvik Nanoflex is part of the group of meta-stable stainless steels. These materials are characterized\ud by a good corrosion resistance, high strength, good formability and crack resistance. In addition, Sandvik\ud Nanoflex has a strain-induced transformation and, depending on austenising conditions and chemical composition,\ud a stress-assisted transformation can occur. The martensite phase of this material shows a substantial aging\ud response. The inverse optimization is a sub-category of the optimization techniques. The inverse optimization\ud method uses a top down approach, as the name implies. The starting point is a prototype state where the current\ud state is to converge on. In our experiment the test specimen is used as prototype and a calculation result as\ud current state. The calculation is then adapted so that the result converges towards the test example. An iterative\ud numerical optimization algorithm controls the adaptation. For the inverse optimization method two parameters\ud are defined: shape of the product and martensite profile. These parameters are extracted from both calculation\ud and test specimen, using Fourier analysis and integrals. An optimization parameter is then formulated from\ud the extracted parameters. The method uses this optimization parameter to increase the accuracy of ”The Post”\ud material model for Sandvik Nanoflex. [1] The article will describe a method to optimize material models, using\ud a combination practical experiments, Finite Element Method and parameter extraction

From Out-Place Transformation Evolution to In-Place Model Patching

Model transformation is a key technique to automate software engineering tasks. Like any other software, transformations are not resilient to change. As changes to transformations can invalidate previously produced models, these changes need to be reflected on existing models. Currently, revised out-place transformations are re-executed entirely to achieve this co-evolution task. However, this induces an unnecessary overhead, particularly when computation- intensive transformations are marginally revised, and if existing models have undergone updates prior the re-execution, these updates get discarded in the newly produced models. To overcome this co-evolution challenge, our idea is to infer from evolved out-place transformations patch transformations that propagate changes to existing models by re-executing solely the affected parts based on an in-place execution strategy. Thereby, existing models are only updated by a patch instead of newly produced. In this paper, we present the conceptual foundation of our approach and report on its evaluation in a real-world case study.European Commission ICT Policy Support Programme 31785

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

Bezorgeconomie : de effecten op mobiliteit, milieu en leefomgeving.

De vaste kamercommissie EZK besprak de effecten van de bezorgeconomie. Experts hebben hierover een factsheet gemaakt: Wat zijn de effecten van onlinewinkelen voor de mobiliteit, het milieu en de leefomgeving en welke aanvullende maatregelen kan Nederland nemen voor een efficiëntere en duurzamere bezorgeconomie? Parlement en wetenschap

Approach to diagnosing a pediatric patient with severe insulin resistance in low- or middle-income countries

Diabetes mellitus (DM) in children is most often caused by impaired insulin secretion (type 1 DM). In some children, the underlying mechanism for DM is increased insulin resistance, which can have different underlying causes. While the majority of these children require insulin dosages less than 2.0 U/kg/day to achieve normoglycemia, higher insulin requirements indicate severe insulin resistance. Considering the therapeutic challenges in patients with severe insulin resistance, early diagnosis of the underlying cause is essential in order to consider targeted therapies and to prevent diabetic complications. Although rare, several disorders can attribute to severe insulin resistance in pediatric patients. Most of these disorders are diagnosed through advanced diagnostic tests, which are not commonly available in low- or middle-income countries. Based on a case of DM with severe insulin resistance in a Surinamese adolescent who was later confirmed to have autosomal recessive congenital generalized lipodystrophy, type 1 (Berardinelli–Seip syndrome), we provide a systematic approach to the differential diagnosis and work-up. We show that a thorough review of medical history and physical examination generally provide sufficient information to diagnose a child with insulin-resistant DM correctly, and, therefore, our approach is especially applicable to low- or middle-income countries

The presence of endotoxin activity in cases of experimentally-induced heartwater in sheep

The presence of endotoxin was examined in 5 sheep with experimentally-induced heartwater. Two peaks in endotoxin levels were recorded in 4 out of the 5 sheep during the acute stage of the disease. The 1st peak coincided with or occurred shortly after the febrile reaction (over 40 °C). The 2nd peak occurred 3-5 days after the 1st, and in 2 sheep this 2nd elevation in endotoxin levels was associated with severe clinical signs (rapid and laboured breathing, cyanosis and recumbency), and 1 of the 2 sheep died on the day of the 2nd elevation. Both endotoxin peaks were of short duration and levels had decreased in the 24-h follow-up samples.The articles have been scanned in colour with a HP Scanjet 5590; 600dpi. Adobe Acrobat XI Pro was used to OCR the text and also for the merging and conversion to the final presentation PDF-format.lmchunu2014mn201

Antibiotic sensitivity of Pasteurella haemolytica isolated by means of a fibreoptic endoscope from cases of pneumonic pastereullosis in cattle

Bacterial isolations from tracheal and bronchial washes obtained with the aid of a fibreoptic endoscope were carried out over a 7 month period in a feedlot on calves suffering from acute pneumonic pasteurellosis. Pasteurella haemolytica and Pseudomonas aeruginosa represented the majority of Isolates. Antibiotic sensitivities of the Pasteurella isolates are reported on.The articles have been scanned in colour with a HP Scanjet 5590; 600dpi. Adobe Acrobat XI Pro was used to OCR the text and also for the merging and conversion to the final presentation PDF-format.lmchunu2014mn201

The clinical pathology of heartwater. II. Studies on cardiac and pulmonary function in 4 calves with experimentally-induced heartwater

Studies to evaluate cardiac and pulmonary function were undertaken in 4 calves suffering from experimentally-induced heartwater. There was a marked variation in the course of the disease. Three of the calves recovered spontaneously after developing clinical signs. These included a rectal temperature in excess of 40 °C, anorexia and listlessness but no neurological signs. The remaining calf died 2 days after developing a fever and neurological signs. In the 3 calves that recovered, a mild hypoxemia developed during the acute stage of the disease. Arterial CO₂tension remained within normal limits, but there was a tendency towards an alkalosis. Increases in pulmonary dead space and fluctuations in venous admixture were observed. The calf that died showed similar mild changes in blood gas parameters, despite the presence of a marked reduction in minute volume, and a lung oedema was demonstrated on post-mortem examination. No marked changes in systolic and diastolic blood pressures and in right cardiac intraventricular pressures were observed. Terminally, however, there were marked decreases in stroke volume and cardiac output. These changes were associated with a sharp increase in heart rate. No primary cardiac pathology was observed on clinical and postmortem examinations.The articles have been scanned in colour with a HP Scanjet 5590; 600dpi. Adobe Acrobat XI Pro was used to OCR the text and also for the merging and conversion to the final presentation PDF-format.lmchunu2014mn201

Generic model transformations: Write once, reuse everywhere

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-21732-6_5Proceedings of 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011Model transformation is one of the core techniques in Model Driven Engineering. Many transformation languages exist nowadays, but few offer mechanisms directed to the reuse of whole transformations or transformation fragments in different contexts. Taking inspiration from generic programming, in this paper we define model transformation templates. These templates are defined over meta-model concepts which later can be bound to specific meta-models. The binding mechanism is flexible as it permits mapping concepts and meta-models with certain kinds of structural heterogeneities. The approach is general and can be applied to any model transformation language. In this paper we report on its application to ATL.Work funded by the Spanish Ministry of Science (projects TIN2008-02081 and TIN2009-11555), and the R&D programme of the Madrid Region (project S2009 /TIC-1650